Heeren, Bastiaan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Systematic Literature Review of Automated Feedback Generation for Programming Exercises

Keuning, Hieke, Jeuring, Johan, Heeren, Bastiaan

Journal:

ACM Transactions on Computing Education

Year:

2018

Language:

english

File:

PDF, 5.37 MB

english, 2018

2

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor

Lodder, Josje, Heeren, Bastiaan, Jeuring, Johan, Neijenhuis, Wendy

Journal:

International Journal of Artificial Intelligence in Education

Year:

2020

File:

PDF, 2.31 MB

2020

3

[ACM Press the 2017 ACM SIGCSE Technical Symposium - Seattle, Washington, USA (2017.03.08-2017.03.11)] Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education - SIGCSE '17 - Generating Hints and Feedback for Hilbert-style Axiomatic Proofs

Lodder, Josje, Heeren, Bastiaan, Jeuring, Johan

Year:

2017

Language:

english

File:

PDF, 320 KB

english, 2017

4

[ACM Press the 2016 ACM Conference - Arequipa, Peru (2016.07.11-2016.07.13)] Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '16 - Towards a Systematic Review of Automated Feedback Generation for Programming Exercises

Keuning, Hieke, Jeuring, Johan, Heeren, Bastiaan

Year:

2016

Language:

english

File:

PDF, 488 KB

english, 2016

5

[ACM Press the Computer Science Education Research Conference - Berlin, Germany (2014.11.05-2014.11.06)] Proceedings of the Computer Science Education Research Conference on - CSERC '14 - Model solutions and properties for diagnosing student programs in Ask-Elle

Jeuring, Johan, van Binsbergen, L. Thomas, Gerdes, Alex, Heeren, Bastiaan

Year:

2014

Language:

english

File:

PDF, 287 KB

english, 2014

6

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Gerdes, Alex, Heeren, Bastiaan, Jeuring, Johan, van Binsbergen, L. Thomas

Journal:

International Journal of Artificial Intelligence in Education

Year:

2017

Language:

english

File:

PDF, 2.13 MB

english, 2017

7

[ACM Press the 2019 ACM Conference - Aberdeen, Scotland Uk (2019.07.15-2019.07.17)] Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '19 - How Teachers Would Help Students to Improve Their Code

Keuning, Hieke, Heeren, Bastiaan, Jeuring, Johan

Year:

2019

Language:

english

File:

PDF, 975 KB

english, 2019

8

Feedback services for stepwise exercises

Heeren, Bastiaan, Jeuring, Johan

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 716 KB

english, 2014

9

Scripting the type inference process

Heeren, Bastiaan, Hage, Jurriaan, Swierstra, S. Doaitse

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

10

HPV16 E7 DNA tattooing: safety, immunogenicity, and clinical response in patients with HPV-positive vulvar intraepithelial neoplasia

Samuels, Sanne, Marijne Heeren, A., Zijlmans, Henry J. M. A. A., Welters, Marij J. P., van den Berg, Joost H., Philips, Daisy, Kvistborg, Pia, Ehsan, Ilina, Scholl, Suzy M. E., Nuijen, Bastiaan, Schum

Journal:

Cancer Immunology, Immunotherapy

Year:

2017

Language:

english

File:

PDF, 2.39 MB

english, 2017

11

Recognizing Strategies

Bastiaan Heeren, Johan Jeuring

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 289 KB

english, 2009

12

[ACM Press Second Computer Science Education Research Conference - Wroclaw, Poland (2012.09.09-2012.09.12)] Proceedings of Second Computer Science Education Research Conference on - CSERC '12 - A new method for sustainable development of open educational resources

Stuurman, Sylvia, van Eekelen, Marko, Heeren, Bastiaan

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

13

Report on the tenth ICFP programming contest

Dolstra, Eelco, van Schie, John, Hage, Jurriaan, Heeren, Bastiaan, Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Löh, Clara, Middelkoop, Arie, Rodriguez, Alexey

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 1.76 MB

english, 2008

14

[ACM Press the 41st ACM technical symposium - Milwaukee, Wisconsin, USA (2010.03.10-2010.03.13)] Proceedings of the 41st ACM technical symposium on Computer science education - SIGCSE '10 - Using strategies for assessment of programming exercises

Gerdes, Alex, Jeuring, Johan T., Heeren, Bastiaan J.

Year:

2010

Language:

english

File:

PDF, 369 KB

english, 2010

15

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Report on the tenth ICFP programming contest

Dolstra, Eelco, van Schie, John, Hage, Jurriaan, Heeren, Bastiaan, Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Löh, Clara, Middelkoop, Arie, Rodriguez, Alexey

Year:

2008

Language:

english

File:

PDF, 1.76 MB

english, 2008

16

A lightweight approach to datatype-generic rewriting

VAN NOORT, THOMAS, RODRIGUEZ YAKUSHEV, ALEXEY, HOLDERMANS, STEFAN, JEURING, JOHAN, HEEREN, BASTIAAN, MAGALHÃES, JOSÉ PEDRO

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 585 KB

english, 2010

17

[ACM Press the 17th ACM annual conference - Haifa, Israel (2012.07.03-2012.07.05)] Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education - ITiCSE '12 - An interactive functional programming tutor

Gerdes, Alex, Jeuring, Johan, Heeren, Bastiaan

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

18

Intelligent Feedback on Hypothesis Testing

Tacoma, Sietske, Heeren, Bastiaan, Jeuring, Johan, Drijvers, Paul

Journal:

International Journal of Artificial Intelligence in Education

Year:

2020

File:

PDF, 1.13 MB

2020

19

Strategies for Solving Constraints in Type and Effect Systems

Jurriaan Hage, Bastiaan Heeren

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

20

[ACM Press the 2017 ACM Conference - Bologna, Italy (2017.07.03-2017.07.05)] Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '17 - Code Quality Issues in Student Programs

Keuning, Hieke, Heeren, Bastiaan, Jeuring, Johan

Year:

2017

Language:

english

File:

PDF, 889 KB

english, 2017

21

[ACM Press the Computer Science Education Research Conference - Berlin, Germany (2014.11.05-2014.11.06)] Proceedings of the Computer Science Education Research Conference on - CSERC '14 - Strategy-based feedback in a programming tutor

Keuning, Hieke, Heeren, Bastiaan, Jeuring, Johan

Year:

2014

Language:

english

File:

PDF, 234 KB

english, 2014

22

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - Scripting the type inference process

Heeren, Bastiaan, Hage, Jurriaan, Swierstra, S. Doaitse

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

23

[ACM Press the 17th Koli Calling Conference - Koli, Finland (2017.11.16-2017.11.19)] Proceedings of the 17th Koli Calling Conference on Computing Education Research - Koli Calling '17 - An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

Arends, Hugo, Keuning, Hieke, Heeren, Bastiaan, Jeuring, Johan

Year:

2017

Language:

english

File:

PDF, 528 KB

english, 2017

24

Specifying Rewrite Strategies for Interactive Exercises

Bastiaan Heeren, Johan Jeuring, Alex Gerdes

Journal:

Mathematics in Computer Science

Year:

2010

Language:

english

File:

PDF, 510 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски